On Separation by Locally Testable and Locally Threshold Testable Languages
نویسندگان
چکیده
A separator for two languages is a third language containing the first one and disjoint from the second one. We investigate the following decision problem: given two regular input languages, decide whether there exists a locally testable (resp. a locally threshold testable) separator. In both cases, we design a decision procedure based on the occurrence of special patterns in automata accepting the input languages. We prove that the problem is computationally harder than deciding membership. The correctness proof of the algorithm yields a stronger result, namely a description of a possible separator. Finally, we discuss the same problem for context-free input languages.
منابع مشابه
On Piecewise Testable, Starfree, and Recognizable Picture Languages
We isolate a technique for showing that a picture language (i.e. a \two-dimensional language") is not recognizable. Then we prove the non-recognizability of a picture language that is both starfree (i.e., deenable by means of union, concatenation, and complement) and piece-wise testable (i.e., deenable by means of allowed subpictures), solving an open question in GR96]. We also deene local, loc...
متن کاملSeparating Regular Languages by Locally Testable and Locally Threshold Testable Languages
A separator for two languages is a third language containing the first one and disjoint from the second one. We investigate the following decision problem: given two regular input languages, decide whether there exists a locally testable (resp. a locally threshold testable) separator. In both cases, we design a decision procedure based on the occurrence of special patterns in automata accepting...
متن کاملLocally Threshold Testable Languages of Infinite Words
The class of nitely locally threshold testable !-languages is proved to be decidable relatively to the class of all regular !-languages. We apply this to the monadic second order theory of innnite word structures with successor function: it is decidable whether for a given monadic second-order formula there exists a rst-order formula with the same set of innnite word models.
متن کاملA new algorithm for testing if a regular language is locally threshold testable
A new algorithm is presented for testing if a regular language is locally threshold testable. The new algorithm is slower than existing algorithms, but its correctness proof is shorter. The proof idea is to restate the problem in Presburger arithmetic. A language L ⊆ A * is called locally threshold testable (LTT) if it is a Boolean combination of languages of the form: a) words that have w ∈ A ...
متن کاملA Decidable Characterization of Locally Testable Tree Languages
A regular tree language L is locally testable if membership of a tree in L depends only on the presence or absence of some fix set of neighborhoods in the tree. In this paper we show that it is decidable whether a regular tree language is locally testable. The decidability is shown for ranked trees and for unranked unordered trees.
متن کامل